Buy Used and New Andreas Podelski Books

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540697350

Format: Paperback (395 pages)
Publisher: Springer
Published: 03 Jan 2007

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... 2,: 2988 (Lecture Notes in Computer Science)

by Andreas Podelski,Kurt Jensen

ISBN 13: 9783540212997

Format: Paperback (628 pages)
Publisher: Springer
Published: 18 Mar 2004

Save for later